Felix D. Sheng und Sheng-Ho - Info zur Person

(1 - 6 von 6

)

Software Design Group: Felix Chang

people.csail.mit.edu

Felix Sheng-Ho Chang. Felix Chang's early background was on hardware systems and formal verification. He completed his M.Sc. in the University of British ...

FM 2008: Formal Methods: 15th International Symposium on Formal...

books.google.de

326 Emina Torlak, Felix Sheng-Ho Chang, and Daniel Jackson Precise Interval Analysis vs. Parity Games Thomas Gawlitza and Helmut ...

Theory and Algorithms for Cooperative Systems - Don A. Grundel -...

books.google.de

Emily M. Craparo Laboratorg for Information and Decision Sgstems Massachusetts Institute of Technology . edu Felix Sheng-Ho Chang and Jae W. Lee ...

dblp: Felix Sheng-Ho Chang

dblp.org

List of computer science publications by Felix Sheng-Ho Chang

6 References

courses.cs.washington.edu

Greg Dennis, Felix Sheng-Ho Chang, and Daniel Jackson. Modular Verification of Code with SAT. International Symposium on Software Testing and Analysis ...

theses - Alloy Analyzeralloytools.org › citations › theses

alloytools.org

Hamid Bagheri, PhD thesis, University of Virginia, Generation of Policy-Rich Websites from Declarative Models. Felix Sheng-Ho Chang, PhD thesis, MIT, ...

Alle Infos zum Namen "Felix D. Sheng"

Verwandte Suchanfragen zu Felix D. Sheng

Personen
Vorname "Felix" (25928)
Name "Sheng" (188)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z