Alain Kerbrat and Iulian Ober - Free people check

(1 - 9 from 9

)

SDL '01: Meeting UML - SDL Forum Society

sdl-forum.org

May 1, — Iulian Ober (Institut National Polytechnique/IRIT, and Telelogic), Alain Kerbrat (Telelogic). Paper: A General Approach for the ... › Events

Model Checking Software: 8th International SPIN Workshop, ...books.google.ca › books

books.google.ca

Marius Bozga, Susanne Graf Alain Kerbrat, Laurent Mounier, Iulian Ober, and Daniel Vincent. Timed extensions for sdl. In Proceedings, SDL Forum 2001, June ...

SDL for Real-Time: What Is Missing? - CiteSeerX

citeseerx.ist.psu.edu

by M Bozga · · Cited by 41 — by Marius Bozga , Susanne Graf , Alain Kerbrat , Daniel Vincent , Laurent Mounier , Iulian Ober. Citations: self ... › viewdoc › summary

Automated test generation from Sdl/Uml speci cations - IRIT

www.irit.fr

by A Kerbrata · Cited by 9 — Alain Kerbrat a, Iulian Ober b. aVerilog, 150 rue Nicolas Vauquelin, BP1310, Toulouse cedex, France. Tel: (33) , Fax: (33) › docs › OberQW99.ps.gz

download full CV - IRIT - Yumpu

www.yumpu.com

[23] Iulian Ober and Alain Kerbrat. Verification of Quantitative Temporal Properties of SDL. Specifications. In Rick Reed and Jeanne Reed, editors, ... › document › view › downloa...

SDL verification tools, frameworks and case studieswww-i2.informatik.rwth-aachen.de › Research › MCS

www-i2.informatik.rwth-aachen.de

Iulian Ober, Alain Kerbrat (Telelogic), June Verification of quantitative temporal properties of SDL specifications ...

Search results for "Alain Kerbrat" – FacetedDBLP

dblp.l3s.uni-hannover.de

Found 13 publication records. Showing 13 according to the selection in the facets . Hits ? ▲ Authors Title Venue Year Link Author keywords; 1: Iulian Ober, Alain

Iulian Ober : Home

www.irit.fr

Dr. Alain Kerbrat, Prof. Zoubir Mammeri (president of the jury), Prof. Bernard Coulette (PhD advisor).

SDL for Real-Time: What Is Missing? - Archive ouverte HALhal.archives-ouvertes.fr › hal

hal.archives-ouvertes.fr

Marius Bozga, Susanne Graf, Laurent Mounier, Alain Kerbrat, Iulian Ober, et al.. SDL for Real-Time: What Is Missing?. 2nd Workshop of the SDL Forum Society ...

All web results to the name "Alain Kerbrat"

Related search requests for Alain Kerbrat

Jean-Claude Fernandez
Hubert Garavel
Nicolas Vauquelin

Laurent Mounier
Susanne Graf
Marius Bozga

Claude Jard
Pierre Morel
Radu Mateescu

People
Forename "Alain" (13488)
Name "Kerbrat" (55)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Alain Kerbrat and Iulian Ober Free People Check