Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             14 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A formal verification framework for static analysis Albert, Elvira
2015
15 4 p. 987-1012
artikel
2 A framework for deadlock detection in core ABS Giachino, Elena
2015
15 4 p. 1013-1048
artikel
3 An overview of model checking practices on verification of PLC software Ovatman, Tolga
2014
15 4 p. 937-960
artikel
4 Automated anonymity verification of the ThreeBallot and VAV voting systems Moran, Murat
2015
15 4 p. 1049-1062
artikel
5 Constructing and verifying a robust Mix Net using CSP Stathakidis, Efstathios
2015
15 4 p. 1063-1089
artikel
6 Contract-based verification of discrete-time multi-rate Simulink models Boström, Pontus
2015
15 4 p. 1141-1161
artikel
7 Feature Nets: behavioural modelling of software product lines Muschevici, Radu
2015
15 4 p. 1181-1206
artikel
8 How to write a successful SoSyM submission Gray, Jeff
2016
15 4 p. 929-931
artikel
9 Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic Gouw, Stijn de
2014
15 4 p. 1117-1140
artikel
10 Knowledge-based construction of distributed constrained systems Graf, Susanne
2015
15 4 p. 1163-1180
artikel
11 Model-checking software library API usage rules Song, Fu
2015
15 4 p. 961-985
artikel
12 Supporting different process views through a Shared Process Model Küster, Jochen
2015
15 4 p. 1207-1233
artikel
13 Theme issue on Integrated Formal Methods Johnsen, Einar Broch
2015
15 4 p. 933-935
artikel
14 The Unit-B method: refinement guided by progress concerns Hudon, Simon
2015
15 4 p. 1091-1116
artikel
                             14 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland