Search Sciweavers | Sciweavers

1216 search results - page 18 / 244

» Hybrid type checking

101

click to vote

AGTIVE
2003
Springer

151views Formal Methods» more AGTIVE 2003»

Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems

15 years 2 months ago

Download www.cs.mcgill.ca

Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...

Juan de Lara, Esther Guerra, Hans Vangheluwe

claim paper

Read More »

click to vote

DDECS
2007
IEEE

103views Hardware» more DDECS 2007»

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

15 years 4 months ago

Download ira.informatik.uni-freiburg.de

Marc Herbstritt, Bernd Becker, Erika Ábrah&...

claim paper

Read More »

click to vote

LFCS
2007
Springer

92views Artificial Intelligence» more LFCS 2007»

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

15 years 3 months ago

Download cs.nyu.edu

Raffaella Gentilini, Klaus Schneider, B. Mishra

claim paper

Read More »

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

15 years 3 months ago

Download www.uni-koblenz.de

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

click to vote

WEBNET
1997

77views Internet Technology» more WEBNET 1997»

Designing Hybrid CD-ROM/Web: A Reality Check

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers