Search Results for Formal methods (Computer science) - Narrowed by: 2010
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026pe$003dd$00253A$0026ps$003d300?
2024-11-12T04:31:33Z
Teamwork in multi-agent systems a formal approach
ent://SD_ILS/0/SD_ILS:298099
2024-11-12T04:31:33Z
2024-11-12T04:31:33Z
Author Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470665237">http://dx.doi.org/10.1002/9780470665237</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10389590">http://site.ebrary.com/lib/alltitles/Doc?id=10389590</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling in Event-B system and software engineering
ent://SD_ILS/0/SD_ILS:277993
2024-11-12T04:31:33Z
2024-11-12T04:31:33Z
Author Abrial, Jean-Raymond.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital system verification a combined formal methods and simulation framework
ent://SD_ILS/0/SD_ILS:279164
2024-11-12T04:31:33Z
2024-11-12T04:31:33Z
Author Li, Lun, 1970- Thornton, Mitchell Aaron.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>