ABSTRACT

Συγγραφείς: Peter Schrammel

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://hal.inria.fr/docs/00/74/98/91/PDF/paper.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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