C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
European Educational Forum: School on Embedded Systems
1996
1996
1996
Keyphrases
Publications
1996
Anders P. Ravn
,
Thomas J. Eriksen
,
Michael Holdgaard
,
Hans Rischel
Engineering of Real-Time Systems with an Experiment in Hybrid Control.
European Educational Forum: School on Embedded Systems
(1996)
Sergio Yovine
Model Checking Timed Automata.
European Educational Forum: School on Embedded Systems
(1996)
Freddie T. G. Veltmaat
Development of Embedded Software at ICT.
European Educational Forum: School on Embedded Systems
(1996)
Gérard Le Lann
Proof-Based System Engineering and Embedded Systems.
European Educational Forum: School on Embedded Systems
(1996)
Yonit Kesten
,
Zohar Manna
,
Amir Pnueli
Verification of Clocked and Hybrid Systems.
European Educational Forum: School on Embedded Systems
(1996)
Hans F. van Rietschote
The Long Road from Research to Telecommunication Applications.
European Educational Forum: School on Embedded Systems
(1996)
Shangping Ren
,
Gul Agha
A Modular Approach for Programming Embedded Systems.
European Educational Forum: School on Embedded Systems
(1996)
Deji Chen
,
Aloysius K. Mok
,
Sanjoy K. Baruah
On Modeling Real-Time Task Systems.
European Educational Forum: School on Embedded Systems
(1996)
Devesh Bhatt
,
John Shackleton
A Design Notation and Toolset for High-Performance Embedded Systems Development.
European Educational Forum: School on Embedded Systems
(1996)
Michael S. Branicky
Analyzing and Synthesizing Hybrid Control Systems.
European Educational Forum: School on Embedded Systems
(1996)
R. H. Bourgonjon
Embedded Systems in Consumer Products.
European Educational Forum: School on Embedded Systems
(1996)
André van den Hoogenhof
The Maturity of Object-Oriented Methodologies.
European Educational Forum: School on Embedded Systems
(1996)
Bruce Powel Douglass
,
David Harel
,
Mark B. Trakhtenbrot
Statecharts in Use: Structured Analysis and Object-Orientation.
European Educational Forum: School on Embedded Systems
(1996)
Frits W. Vaandrager
Introduction.
European Educational Forum: School on Embedded Systems
(1996)
Juha Kuusela
Object Oriented Development of Embedded Systems with the Octopus Method.
European Educational Forum: School on Embedded Systems
(1996)
Pim Kars
Formal Methods in the Design of s Storm Surge Barrier Control System.
European Educational Forum: School on Embedded Systems
(1996)