Sciweavers

19 search results - page 1 / 4

» iceccs 2010

10

ICECCS
2010
IEEE

198views Hardware» more ICECCS 2010»

QVT Based Model Transformation from Sequence Diagram to CSP

13 years 4 months ago

QVT Based Model Transformation from Sequence Diagram to CSP

Download www.artist-embedded.org

Li Dan

claim paper

Read More »

6

ICECCS
2010
IEEE

157views Hardware» more ICECCS 2010»

AADS+: AADL Simulation Including the Behavioral Annex

13 years 4 months ago

AADS+: AADL Simulation Including the Behavioral Annex

Download www.artist-embedded.org

Roberto Varona-Gomez, Eugenio Villar

claim paper

Read More »

11

ICECCS
2010
IEEE

135views Hardware» more ICECCS 2010»

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction

13 years 2 months ago

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction

Download groups.csail.mit.edu

Shinya Umeno, Nancy A. Lynch

claim paper

Read More »

8

ICECCS
2010
IEEE

139views Hardware» more ICECCS 2010»

Formal Modeling for UML/MARTE Concurrency Resources

13 years 4 months ago

Formal Modeling for UML/MARTE Concurrency Resources

Download www.teisa.unican.es

Pablo Peñil, Hector Posadas, Eugenio Villar

claim paper

Read More »

10

ICECCS
2010
IEEE

147views Hardware» more ICECCS 2010»

Performance Antipatterns as Logical Predicates

13 years 4 months ago

Performance Antipatterns as Logical Predicates

Download www.di.univaq.it

Vittorio Cortellessa, Antinisca Di Marco, Catia Tr...

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »