Abstraction, Refinement and Proof for Probabilistic Systems

Component Deployment

Compiler Construction

Formal Approaches to Software Testing

Formal Approaches to Agent-Based Systems

FM 2005: Formal Methods

Extreme Programming and Agile Processes in Software Engineering

Logic Programming and Nonmonotonic Reasoning

Hasil Pencarian


Ditemukan 144 dari pencarian Anda melalui kata kunci: subject="MEAN"
Permintaan membutuhkan 0.78195 detik untuk selesai
XML ResultJSON Result

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog