( en | de | ru )

 

Disambiguierung von "Balarin, Felice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Iterative Approach to Verification of Real-Time Systems.

, und . Formal Methods Syst. Des., 6 (1): 67-95 (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Manfred Balarin

Manfred Balarin

Manfred Balarin

Marion Balarin

Manfred Balarin

 

Weitere Publikationen von Autoren mit dem selben Namen

Modeling and Designing Heterogeneous Systems., , , , , und . Concurrency and Hardware Design, Volume 2549 von Lecture Notes in Computer Science, Seite 228-273. Springer, (2002)Worst-case analysis of discrete systems based on conditional abstractions.. CODES, Seite 115-119. ACM, (1999)Automatic Abstraction for Worst-Case Analysis of Discrete Systems.. DATE, Seite 494-501. IEEE Computer Society / ACM, (2000)Assertion-based power/performance analysis of network processor architectures., , , , , und . HLDVT, Seite 155-160. IEEE Computer Society, (2004)Schedule Validation for Embedded Reactive Real-Time Systems., und . DAC, Seite 52-57. ACM Press, (1997)Task scheduling with RT constraints., , und . DAC, Seite 483-488. ACM, (2000)Automatic trace analysis for logic of constraints., , , und . DAC, Seite 460-465. ACM, (2003)An Iterative Approach to Language Containment., und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 29-40. Springer, (1993)HSIS: A BDD-Based Environment for Formal Verification., , , , , , , , , und 3 andere Autor(en). DAC, Seite 454-459. ACM Press, (1994)Priority Assignment for Embedded Reactive Real-Time Systems.. LCTES, Volume 1474 von Lecture Notes in Computer Science, Seite 146-155. Springer, (1998)