Home›Books›Reactive systemsReactive systemsby Luca AcetoNo description available.Expert systems (Computer science)ValidationVerificationSystem designMathematical modelsComputer software, verificationComputer science, mathematics