Back to Results
First PageMeta Content
Science and technology in France / Computing / Computer science / Concurrency / French National Centre for Scientific Research / Research Institute of Computer Science and Random Systems / Petri net / Model checking / Rajeev Alur / French Institute for Research in Computer Science and Automation


FORMATS’08 – Call for Papers 6th International Conference on Formal Modeling and Analysis of Timed Systems Saint-Malo, France, September 15th–17th http://formats08.inria.fr/ (Co-located with QEST’08)
Add to Reading List

Document Date: 2008-04-01 09:08:03

Open Document

File Size: 45,83 KB

Share Result on Facebook

City

Tokyo / CNRS / IRISA / Nijmegen / Camerino / Bangalore / Verimag / Paris / /

Company

Cadence Research Labs / /

Country

Taiwan / Germany / Belgium / France / Japan / United States / Netherlands / Italy / United Kingdom / Sweden / India / Denmark / /

/

IndustryTerm

real-time software / software tools / manufacturing / /

Organization

UCLA / Twente & Eindhoven Univ. of Technology / Univ. of Twente & Eindhoven Univ. of Technology / National Taiwan Univ. / Carnegie Mellon Univ. / Univ. of Augsburg / RWTH Aachen Univ. / Programme Committee / Oxford Univ. / Univ. of Pennsylvania / Uppsala Univ. / Univ. of Salerno / Aalborg Univ. / Steering Committee / National Univ. of Singapore / Radboud Univ. / Univ. of Oldenbourg / /

Person

Bruce Krogh / Walter Vogler / Kim G. Larsen / Claude Jard / Eugene Asarin / Rajeev Alur / Oded Maler / Paul Pettersson / Patricia Bouyer / Insup Lee / Wang Yi / Flavio Corradini / Martin Fr / Brian Nielsen / Goran Frehse / Franck Cassez / Albert Benveniste / Pieter Katoen / Salvatore La Torre / /

Position

Chair / /

ProvinceOrState

Pennsylvania / /

PublishedMedium

the Lecture Notes in Computer Science / /

Technology

LAN / /

URL

http /

SocialTag