Search Sciweavers | Sciweavers

3909 search results - page 197 / 782

» Extreme Model Checking

100

click to vote

ENTCS
2008

97views more ENTCS 2008»

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

15 years 2 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Ivana Cerná, Sven ...

claim paper

Read More »

click to vote

SAC
2008
ACM

125views Applied Computing» more SAC 2008»

Checking the alignment of value-based business models and IT functionality

15 years 2 months ago

Download eprints.eemcs.utwente.nl

Business

Novica Zarvic, Roel Wieringa, Pascal van Eck

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 1 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

click to vote

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

15 years 1 months ago

Download www.artist-embedded.org

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Moha...

claim paper

Read More »

click to vote

STTT
2008

83views more STTT 2008»

Improving state class constructions for CTL* model checking of time Petri nets

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers