Search CORE

3 research outputs found

A Project-based Undergraduate Aerospace Sequence, with Embedded Computational Intelligence

Author: Atkins Ella
Publication venue: 'American Institute of Aeronautics and Astronautics (AIAA)'
Publication date: 01/01/2011
Field of study

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/90648/1/AIAA-2011-1581-293.pd

Deep Blue Documents at the University of Michigan

Cell : A compositional verification framework

Author: Dong J.S.
Ji K.
Lin S.-W.
Liu Y.
Nguyen T.K.
Sun J.
Publication venue
Publication date: 01/01/2013
Field of study

Master'sMASTER OF SCIENC

Institutional Knowledge at Singapore Management University

ScholarBank@NUS

Model Checking: Basics

Author
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2006
Field of study

core

core