The SCEAS System
Navigation Menu

Conferences in DBLP

European Educational Forum (EEF) (eef)
1996 (conf/eef/1996)

  1. Frits W. Vaandrager
    Introduction. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:1-3 [Conf]
  2. Yonit Kesten, Zohar Manna, Amir Pnueli
    Verification of Clocked and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:4-73 [Conf]
  3. Michael S. Branicky
    Analyzing and Synthesizing Hybrid Control Systems. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:74-113 [Conf]
  4. Sergio Yovine
    Model Checking Timed Automata. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:114-152 [Conf]
  5. Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah
    On Modeling Real-Time Task Systems. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:153-169 [Conf]
  6. Shangping Ren, Gul Agha
    A Modular Approach for Programming Embedded Systems. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:170-207 [Conf]
  7. Gérard Le Lann
    Proof-Based System Engineering and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:208-248 [Conf]
  8. Devesh Bhatt, John Shackleton
    A Design Notation and Toolset for High-Performance Embedded Systems Development. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:249-267 [Conf]
  9. André van den Hoogenhof
    The Maturity of Object-Oriented Methodologies. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:268-303 [Conf]
  10. Juha Kuusela
    Object Oriented Development of Embedded Systems with the Octopus Method. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:304-315 [Conf]
  11. Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel
    Engineering of Real-Time Systems with an Experiment in Hybrid Control. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:316-352 [Conf]
  12. Pim Kars
    Formal Methods in the Design of s Storm Surge Barrier Control System. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:353-367 [Conf]
  13. Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot
    Statecharts in Use: Structured Analysis and Object-Orientation. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:368-394 [Conf]
  14. R. H. Bourgonjon
    Embedded Systems in Consumer Products. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:395-403 [Conf]
  15. Hans F. van Rietschote
    The Long Road from Research to Telecommunication Applications. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:404-412 [Conf]
  16. Freddie T. G. Veltmaat
    Development of Embedded Software at ICT. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:413-421 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002