ABSTRACT

Authors: Peter Schrammel

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://hal.inria.fr/docs/00/74/98/91/PDF/paper.pdf.

Subject Terms: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specification—Languages, D.2.4 [Software Engineering, Software / Program Verification—Formal methods, I.6.2 [Computing Methodologies, Simulation and Modelling—Simulation Languages General Terms Languages, Verification Keywords Data-Flow Languages, Hybrid Systems, Hybrid Automata, Verification

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.9121; http://hal.inria.fr/docs/00/74/98/91/PDF/paper.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.9121
http://hal.inria.fr/docs/00/74/98/91/PDF/paper.pdf