Sciweavers

14360 search results - page 164 / 2872

» Time Modeling in MARTE

77

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

15 years 2 months ago

Bounded Model Checking for Timed Automata

Download www.csl.sri.com

Maria Sorea

claim paper

Read More »

82

CI
1998

44views more CI 1998»

Toward a Model Theory of Actions: How Agents do it in Branching Time

15 years 2 months ago

Toward a Model Theory of Actions: How Agents do it in Branching Time

Download www.csc.ncsu.edu

Munindar P. Singh

claim paper

Read More »

86

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

15 years 2 months ago

Model Checking for a Probabilistic Branching Time Logic with Fairness

Download www.uni-koblenz.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

89

AUTOMATICA
1999

50views more AUTOMATICA 1999»

Verification of logic controllers for continuous plants using timed condition/event-system models

15 years 2 months ago

Verification of logic controllers for continuous plants using timed condition/event-system models

Download www-verimag.imag.fr

Stefan Kowalewski, Sebastian Engell, Jörg Pre...

claim paper

Read More »

71

JOT
2002

98views more JOT 2002»

Object Oriented Extension to Time Series Model

15 years 2 months ago

Object Oriented Extension to Time Series Model

Download www.jot.fm

Dilip Patel, Shushma Patel, Paul Schleifer

claim paper

Read More »

« Prev « First page 164 / 2872 Last » Next »