Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé

Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé

http://data.bibliotheken.nl/id/nbt/p314320164

Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé

hasDerivative

33d1d3717c532f32fbd75b325e3cad5a

mainEntity

Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé

http://data.bibliotheken.nl/id/nbt/p314320164

about

associatedMedia

<http://doc.utwente.nl/59368>

http://www.w3.org/2001/XMLSchema#string

author

bookFormat

description

Proefschrift Universiteit Twente, Enschede

http://www.w3.org/2001/XMLSchema#string

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isBasedOn

Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé

isPartOf

IPA dissertation series

mainEntityOfPage

33d1d3717c532f32fbd75b325e3cad5a

name

Testing reactive systems with data : enumerative methods and constraint solving

http://www.w3.org/2001/XMLSchema#string

publication

75bdf68538c3e40ef6314b976a425a22

type

label

Testing reactive systems with ...... olving / Jens Rüdiger Calamé

http://www.w3.org/2001/XMLSchema#string