Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An automated framework for verifying or refuting trace properties of extended finite state machines Taylor, Ramsay G.
24 6 p. 949-972
 artikel
2 Automated formal analysis of temporal properties of Ladder programs Belo Lourenço, Cláudio
24 6 p. 977-997
 artikel
3 Formal methods and tools for industrial critical systems Lluch Lafuente, Alberto
24 6 p. 973-976
 artikel
4 GSDetector: a tool for automatic detection of bad smells in GRL goal models Mohammed, Mawal A.
24 6 p. 889-910
 artikel
5 Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL Lee, Jaehun
24 6 p. 911-948
 artikel
6 Randomized reachability analysis in UPPAAL: fast error detection in timed systems Kiviriga, Andrej
24 6 p. 1025-1042
 artikel
7 SMT solving for the validation of B and Event-B models Schmidt, Joshua
24 6 p. 1043-1077
 artikel
8 Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps Hansen, Simon Thrane
24 6 p. 999-1024
 artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland